# ifndef Configuration_h
# define Configuration_h

#include <stdio.h>

class Configuration
{
public:
	Configuration(const char* fileName);
	~Configuration(void);

	int PageSize;
	int NumOfKernelPagesInMM;
	int NumOfUserPagesInMM;
	int NumOfKernelPagesInDisk;
	int NumOfUserPagesInDisk;
	int AlgorithmForUser;
	int AlgorithmForKernel;
	int WSClockDelta;
};
#endif
